MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:20:01 GMT
Content-Type: text/html
Content-Length: 1219
Last-Modified: Wednesday, 17-Jan-96 23:14:01 GMT

<HTML>

<HEAD>

<TITLE>Jobs</TITLE>

</HEAD><BODY bgcolor="ffffff">

<BODY>

<h3>Jobs</h3><P>

  Currently Professor in Computer Sciences, Mathematics, and Philosophy Departments<Br>
  University of Texas at Austin
<Br><Br>
Senior Computing Research Scientist, Fall 1993 - Spring 1995, <Br>
  Computational Logic, Inc.<Br>
  Austin, Texas
<Br><Br>
Senior Member of Technical Staff, 1985-1987<Br>
  Microelectronics and Computer Technology Corporation<Br>
  Artificial Intelligence Program<Br>
  Austin, Texas<Br>
<Br>
Associate Professor, 1981-1985<Br>
  Computer Sciences Department,<Br>
  University of Texas at Austin<Br>
  <Br>
Staff Scientist, 1981<Br>
Senior Research Mathematician, 1979-81<Br>
Research  Mathematician, 1973-78<Br>
  Computer Science Laboratory <Br>
  SRI International<Br>
  Menlo Park, California<Br>
   <Br>
Research Fellow, 1971-73<Br>
  Department of Computational Logic<Br>
  University of Edinburgh, Edinburgh, Scotland<Br>
  <Br>
Research Assistant, 1970-71 <Br>
  Artificial Intelligence Laboratory<Br>
  Massachusetts Institute of Technology, Cambridge, Mass.<Br>
  <Br>
Teaching Assistant, 1967-70<Br>
  Department of Mathematics <Br>
  University of Texas, Austin, Texas<Br>
   <Br>

